The QE Trap

ACIS Absolute QE the

HOL Light QE

We are interested in algorithms that manipulate mathematical expressions in mathematically meaningful ways. Expressions are syntactic, but most logics do not allow one to discuss syntax. cttqe is a version of Church’s type theory that includes quotation and evaluation operators, akin to quote and eval in the Lisp programming language. Since the HOL logic is also a version of Church’s type theor...

Exiting from Qe

We develop a regime-switching SVAR (structural vector autoregression) in which the monetary policy regime, chosen by the central bank responding to economic conditions, is endogenous and observable. QE (quantitative easing) is one such regime. The model incorporates the exit condition for terminating QE. We apply it to Japan, a country that has experienced three QE spells. Our impulse response ...

Certificates Talk about certificates in QE

Today we continue with some additional aspects of quantifier elimination. We will then recall the Positivstellensatz and its relations with semidefinite programming. After introducing copositive matrices, we present Pólya’s theorem on positive forms on the simplex, and the associated relaxations. Finally, we conclude with an important result due to Schmüdgen about representation of positive pol...

LIMSI Submission for WMT'14 QE Task

This paper describes LIMSI participation to the WMT’14 Shared Task on Quality Estimation; we took part to the wordlevel quality estimation task for English to Spanish translations. Our system relies on a random forest classifier, an ensemble method that has been shown to be very competitive for this kind of task, when only a few dense and continuous features are used. Notably, only 16 features ...